marine operations - Spanisch Englisch Wörterbuch